Static testing - PDFSEARCH.IO - Document Search Engine

Static testing
Results: 194

#	Item
171	National Aeronautics and Space Administration Structural Testing Johnson Space Center (JSC) provides structural static and fatigue load testing for payloads and spacecraft structures. Tests range from mechanical properti Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-04-30 16:23:23 Materials science Ultrasonic testing Dye penetrant inspection Fatigue Inspection Thermography Magnetic particle inspection Radiographic testing Structural engineering Nondestructive testing Evaluation Science
172	National Aeronautics and Space Administration Structural Testing Johnson Space Center (JSC) provides structural static and fatigue load testing for payloads and spacecraft structures. Tests range from mechanical properti Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-04-30 16:23:29 Materials science Ultrasonic testing Dye penetrant inspection Fatigue Inspection Thermography Magnetic particle inspection Radiographic testing Structural engineering Nondestructive testing Evaluation Science
173	Staff Services Analyst (SSA) TRANSFER EXAM TESTING WHO SHOULD APPLY: This is a transfer examination for the Department of Social Services (CDSS). Competition is limited to employees of the CDSS who meet the requirements Add to Reading List Source URL: www.dss.cahwnet.gov Language: English - Date: 2013-08-27 16:34:52 Compiler construction Static single assignment form Examinations
174	Microsoft Word - Engler[removed]per-page.doc Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:54:57 Systems engineering Software assurance National Institute of Standards and Technology Static program analysis Vulnerability Software security assurance Fortify Software Software testing Computer security Software quality Software engineering Software development
175	Special Publication[removed]Static Analysis Tool Exposition (SATE[removed]Editors: Vadim Okun Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:54:57 Program analysis Cloud computing Veracode Vulnerability Fortify Software SofCheck Inspector Static program analysis Software bug Sonar Software Computing Software testing
176	Staff Services Analyst (General) TRANSFER EXAM TESTING WHO SHOULD APPLY: This is a transfer examination for the California Department of Aging (CDA). Competition is limited to employees of CDA who meet the requirements t Add to Reading List Source URL: www.aging.ca.gov Language: English - Date: 2012-11-20 17:02:48 Federal assistance in the United States Compiler construction Static single assignment form Examinations
177	Recreational Off-Highway Vehicles Meeting regarding static and dynamic testing of ROVs - March 4, 2010 Add to Reading List Source URL: www.cpsc.gov Language: English - Date: 2012-06-27 15:59:08 ATVs Bethesda Maryland U.S. Consumer Product Safety Commission CPSC
178	Staff Services Analyst (SSA) TRANSFER EXAM TESTING WHO SHOULD APPLY: This is a transfer examination for the Department of Social Services (CDSS). Competition is limited to employees of the CDSS who meet the requirements Add to Reading List Source URL: www.cdss.ca.gov Language: English - Date: 2013-08-27 16:34:52 Compiler construction Static single assignment form Examinations
179	Flow Graphs for Testing Sequential Erlang Programs Manfred Widera Fachbereich Informatik, FernUniversitt Hagen D[removed]Hagen, Germany [removed] Add to Reading List Source URL: www.erlang.se Language: English - Date: 2004-10-14 07:15:09 Compiler construction Network flow Pattern matching Control flow Static single assignment form Erlang Flow network Data-flow analysis Continuation-passing style Graph theory Software engineering Computing
180	Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Ri Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:13 Software engineering Software quality Program analysis Software bug Java Pathfinder Static program analysis Model checking Debugging Verification and validation Software development Formal methods Software testing

UPDATE